Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich

Source URL: www.seas.upenn.edu

• Formal methods
• Entailment
• Logical consequence
• Metalogic
• Symbol
• Function
• Lambda calculus
• Linear temporal logic
• Logic
• Mathematics
• Deduction

An Optimality Principle for Concurrent Systems Langford B White and Sarah L Hickmott School of Electrical and Electronic Engineering The University of Adelaide Australia {lwhite, shick}@eleceng.adelaide.edu.au

Source URL: goanna.cs.rmit.edu.au

• Dynamic programming
• Markov decision process
• Stochastic control
• Interpretation
• Logic
• Linear temporal logic
• Μ operator
• Statistics
• Formal languages
• Model theory

Asserting Memory Shape using Linear Logic Frances Spalding Limin Jia Department of Computer Science, Princeton University

Source URL: www.andrew.cmu.edu

• C++
• C programming language
• Philosophical logic
• Data types
• Logic programming
• Logic
• C++ classes
• Modal logic
• Pointer
• Software engineering
• Computer programming
• Computing

Model Composition in Model-Checking Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte

Source URL: darwin.bth.rwth-aachen.de

• Linear temporal logic
• Temporal logic

Sequent-Based Argumentation for Normative Reasoning Christian Straßer Ofer Arieli March 13, 2014

Source URL: logica.ugent.be

• Deduction
• Functions and mappings
• Symbol
• Entailment
• Substitution
• Function
• Linear temporal logic
• Orbifold
• Logic
• Mathematics
• Propositional calculus

Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be

Source URL: www.lemma-one.com

• Model theory
• Functions and mappings
• First-order logic
• Predicate logic
• Constructible universe
• Zermelo set theory
• Function
• Operator theory
• Linear temporal logic
• Mathematical logic
• Mathematics
• Logic

image: Scott Greenwald © 2011 Asynchronous Logic Automata (ALA) linear-time matrix multiplication modules. 

Source URL: cba.mit.edu

Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University

Source URL: www.cs.nyu.edu

• Computational complexity theory
• Computational science
• Algorithm
• Mathematical logic
• Linear programming
• Analysis of algorithms
• PP
• Numerical analysis
• Theoretical computer science
• Applied mathematics
• Mathematics

Querying Schemas With Access Restrictions Michael Benedikt Pierre Bourhis Clemens Ley

Source URL: vldb.org

• Model theory
• Finite model theory
• Programming paradigms
• Conjunctive query
• Database theory
• FO
• Linear temporal logic
• Datalog
• First-order logic
• Theoretical computer science
• Mathematical logic
• Mathematics

A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro

Source URL: www.cs.cornell.edu

• Logic
• Mathematical logic
• First-order logic
• Model theory
• Predicate logic
• Symbol
• Computability
• Finite-state machine
• Linear temporal logic
• Automata theory
• Models of computation
• Theoretical computer science